$\forall$$T$:Type, $L_{1}$, $L$:$T$ List. interleaving($T$;nil;$L_{1}$;$L$) $\Leftrightarrow$ $L$ $=$ $L_{1}$